package p;
class A {
    void m() {
        BigInteger /*[*/big/*]*/= new BigInteger("1");
    }
}
